Interactive Refinement of Runtime Structure
نویسندگان
چکیده
We propose the front-end editor which allows developers to refine an initial object graph into a hierarchical object graph that matches their mental model of the runtime structure. The developer can expand or collapse selected hierarchies to control the level of visual detail. Such views of the runtime structure can be useful for code modification tasks.
منابع مشابه
Scalable Visualizations and Query-Based Debugging
Interactive run-time visualization of object-oriented software requires views of the current state as well as the execution history. However, as software complexity grows, runtime visualizations become unwieldy and their effectiveness quickly degrades, necessitating techniques to scale the them gracefully without compromising their meaning. The main contribution of this paper is showing that de...
متن کاملChorus: an interactive approach to incremental modeling and validation in clouds
Performance modeling is an emerging approach towards automating management in Clouds. The need for fast model adaptation to dynamic changes, such as workload mix changes and hardware upgrades, has, however, not been previously addressed. Towards this we introduce Chorus, an interactive framework for fast refinement of old models in new contexts and building application end-toend latency models,...
متن کاملKoşutzamanlı Yazılım Bileşenleri için Bir Otomatik Doğrulama Çerçevesi: VyrdMC
This paper presents VyrdMC, a runtime verification framework for concurrent software components that combines structured testing, model checking, and our runtime refinement checker Vyrd. An execution-based model checker explores for each test case all distinct thread interleavings while Vyrd monitors executions for refinement violations. This combined approach has the advantage of improving the...
متن کاملProgressive Combined B-Reps - Multi-Resolution Meshes for Interactive Real-Time Shape Design
We present the Combined B-rep (cB-rep) as a multiresolution data structure suitable for interactive modeling and visualization of models composed of both free-form and polygonal parts. It is based on a half-edge data structure combined with Catmull/Clark subdivision surfaces. In addition to displaying the curved parts of the surface at an adaptive level-of-detail, the control mesh itself can be...
متن کاملThe Workspace Model: Dynamic Distribution of Interactive Systems
This thesis presents an architectural model for synchronous groupware called the Workspace Model, which provides a clean separation of conceptual structure from distributed implementation. The model includes a formally-defined, distribution transparent, conceptual level architectural model with appropriate abstractions for the development of groupware; a formally-defined implementation level ar...
متن کامل